منابع مشابه
Relativized Grothendieck topoi
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.
متن کاملRelativized codes
A code C over an alphabet Σ is a set of words such that every word in C+ has a unique factorization over C, that is, a unique C-decoding. When not all words in C+ appear as messages, a weaker notion of unique factorization can be used. Thus we consider codes C relative to a given set of messages L, such that each word in L has a unique C-decoding. We extend this idea of relativizing code concep...
متن کاملSheaf representation for topoi
It is shown that every (small) topos is equivalent to the category of global sections of a sheaf of so-called hyperlocal topoi, improving on a result of Lambek & Moerdijk. It follows that every boolean topos is equivalent to the global sections of a sheaf of well-pointed topoi. Completeness theorems for higher-order logic result as corollaries. The main result of this paper is the following. Th...
متن کاملNumerology in Topoi
This paper studies numerals (see definition that immediately follows), natural numbers objects and, more generally, free actions, in a topos. A pre-numeral is a poset with a constant, 0, and a unary operation, s, such that: PN1) x ≤ y ⇒ sx ≤ sy PN2) x ≤ sx A numeral is a “minimal” pre-numeral, that is, one such that any s-invariant subobject containing 0 is entire. 1. Lemma. A pre-numeral is a ...
متن کاملKontinuumshypothese und Topoi
Da man die Menge der reellen Zahlen auch allgemein als Kontinuum beschreibt, wurde Cantors Behauptung als Kontinuumshypothese bekannt. Diese erlangte schnell Bedeutung in der Mathematik, so stand sie an erster Stelle der berühmten 23 mathematischen Probleme, die David Hilbert im Jahre 1900 in Paris vortrug. Inzwischen ist das Problem, wie allgemein bekannt sein dürfte, gelöst. Allerdings auf ei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.04.003